/*
<rdf:RDF xmlns="http://web.resource.org/cc/"
    xmlns:dc="http://purl.org/dc/elements/1.1/"
    xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#">
<Work rdf:about="">
   <license rdf:resource="http://creativecommons.org/licenses/by/1.0/" />
</Work>

<License rdf:about="http://creativecommons.org/licenses/by/1.0/">
   <permits rdf:resource="http://web.resource.org/cc/Reproduction" />
   <permits rdf:resource="http://web.resource.org/cc/Distribution" />
   <requires rdf:resource="http://web.resource.org/cc/Notice" />
   <requires rdf:resource="http://web.resource.org/cc/Attribution" />
   <permits rdf:resource="http://web.resource.org/cc/DerivativeWorks" />
</License>

</rdf:RDF>

*/

html { 
  padding:0px;
  margin:0px;
}

body {
  background-color: #ffffff;
  font-size: 12px;
  font-family: Verdana, Arial, SunSans-Regular, Sans-Serif;
  color: #000000;  
  line-height: 18px;
  padding:0px 20px;
  margin:0px;
}

p, pre, h2, h3 {
  padding: 10px;
  margin:0px
}

h1 {
  font-size: 11px;
  text-align: right;
  color: #000000;
  background-color: #ffffff;
  border-bottom: 1px dashed #000000;
  padding:5px 15px;
  margin:0px
}

h2 {
  font-size:14px;
  padding-top:10px;
  color: #000000;
}	

h3 {
  font-size:12px;
  padding-top:10px;
  font-weight: bold;
  color: #000000;
}

a.menuactive, a.menu, a { 
  color: #000000;
  text-decoration: underline; 
}

a.menuactive, a.menu {
  font-size: 11px;
}

a.menuactive {
  font-style: italic;
}
 
ul {
  margin-top: 0px;
  margin-bottom: 0px;
}

.attributetype {
  float: left; 
  width: 100px;
}

.attributename {
  float: left; 
  width: 140px;
}

.attributetype, .attributename, .code, a.code, pre {
  color: #494950;
  font-size: 12px;
  font-family: Courier, Monaco, Monospace;
}

a.code, .code {
  text-decoration: none;
}

pre, .code {
  background-color: #ffffff;
  border: 1px solid #c0c0c0;
}

a.code {
  background-color: #ffffff;
  border: 1px solid #c0c0c0;
}

#menu {
  display: none;
  visibility: hidden;
}

#content {
  background-color: #ffffff;
}

#summary {
  display: none;
  visibility: hidden;
}

#nav_left {
  display: none;
  visibility: hidden;
}

#nav_right {
  display: none;
  visibility: hidden;
}
